Standard ML - PDFSEARCH.IO - Document Search Engine

Standard ML
Results: 230

#	Item
41	Type Specialisation for the -calculus John Hughes Department of Computer Science, Chalmers Technical University, SGoteborg, Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Type theory Procedural programming languages Data types Type systems Lambda calculus Eval Type inference ALGOL 68 Let expression Standard ML
42	Truly Modular (Co)datatypes for Isabelle/HOL Jasmin Christian Blanchette1 , Johannes Hölzl1 , Andreas Lochbihler2 , Lorenz Panny1 , Andrei Popescu1,3 , and Dmitriy Traytel1 1 3 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Ordinal numbers Type theory Computability theory Recursion Constructible universe Lambda calculus Standard ML Recursive data type Fold CurryHoward correspondence
43	A history of (Nordic) compilers and autocodes Peter Sestoft Add to Reading List Source URL: www.polyglots.dk Language: English - Date: 2014-10-31 16:13:50 Computing Software engineering Procedural programming languages Computer programming X86 Autocode ALGOL Compiler-compiler Electronic delay storage automatic calculator Standard ML Programming language BESK
44	Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine) Matthew Flatt Robert Bruce Findler Shriram Krishnamurthi Department of Computer Science∗ Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-11-12 18:17:11 Software engineering Software Computer programming Functional languages Racket Readevalprint loop Monitor Thread safety Standard ML Callback Widget Pipeline
45	STANDARD EDITION LABEL: Sheffield Tunes VÖ-DATUM: KAT.-NR.: 1065947STU FORMAT: 1 CD (Jewelcase) Add to Reading List Source URL: ml.edel.com Language: German - Date: 2016-01-07 05:22:37
46	A Brief Presentation of OCaml Simon Cruanes September 14, 2015 Simon Cruanes Add to Reading List Source URL: cedeela.fr Language: English - Date: 2015-09-14 19:32:23 Software engineering Computer programming Declarative programming Functional languages Functional programming Type theory Procedural programming languages OCaml Caml Standard ML Type variable Immutable object
47	Introduction to Standard ML Robert Harper1 School of Computer Science Carnegie Mellon University Pittsburgh, PA Add to Reading List Source URL: www-plan.cs.colorado.edu Language: English - Date: 2008-04-13 08:47:13
48	BRICS RS-05-3 Danvy & Goldberg: There and Back Again BRICS Basic Research in Computer Science Add to Reading List Source URL: brics.dk Language: English - Date: 2005-03-21 05:10:41 Software engineering Computer programming Declarative programming Functional programming Functional languages Subroutines Recursion Procedural programming languages Standard ML Tail call ML Monad
49	1 Typing deep pattern-matching in presence of polymorphic variants Jacques Garrigue† Polymorphic variants are a well-known feature of the Objective Caml programming language, and they have turned popular since their i Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2005-02-23 20:45:31 Software engineering Computer programming Programming language theory Type theory Data types Functional languages Functional programming Procedural programming languages Standard ML Algebraic data type Tagged union Unification
50	Code reuse through polymorphic variants∗ Jacques Garrigue November 8, 2000 Abstract Their support for code reuse has made object-oriented languages popular. However, Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2005-02-23 20:45:34 Software engineering Computer programming Declarative programming Functional programming Data types Type theory Eval Standard ML Anonymous function HindleyMilner type system OCaml Polymorphism